<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>
<link rel="stylesheet" type="text/css" href="resources/common.css"/>
<title>CSI: Crash Scene Investigation</title>
</head>
<body>
<div class="toptitle">CSI Guide</div>
<table class="toptable"><tr>
<td class="topprev">&larr; Prev</td>
<td class="topnext"><a href="building.html">Next &rarr;</a></td>
</tr></table>
<hr/>
<h1>CSI: Crash Scene Investigation</h1>
<h2>A guide for the instrumenting compiler</h2>
<hr class="half"/>
<h3>Summary</h3>
<p>The CSI compiler instruments programs with two tracing strategies as described
in [<a href="references.html#Ohmann-Liblit">1</a>]&mdash;Path Tracing and
Callsite Coverage.</p>
<h3>Contents</h3>
<ul class="contents">
  <li><a href="building.html">Building CSI</a><ul>
    <li><a href="building_comments.html">Comments</a></li>
    </ul>
  </li>
  <li><a href="running.html">Compiling with CSI</a><ul>
    <li><a href="running_comments.html">Comments</a></li>
    </ul>
  </li>
  <li><a href="output.html">CSI Output</a><ul>
    <li><a href="metadata.html">Metadata</a><ul>
      <li><a href="metadata_pt.html">Path Tracing</a></li>
      <li><a href="metadata_cc.html">Call Coverage</a></li>
      </ul></li>
    <li><a href="variables.html">Variables</a></li>
    </ul>
  </li>
</ul>

<hr/>
<table class="toptable"><tr>
<td class="topprev">&larr; Prev</td>
<td class="topnext"><a href="building.html">Next &rarr;</a></td>
</tr></table>
<div class="contents_link"><a href="index.html">Contents</a></div>
</body>
</html>
